/*
 * @ Author       : Inky
 * @ Date         : 2020-06-07 16:32:57
 * @LastEditTime : 2020-06-08 17:18:44
 * @FilePath     : /inky-ws/src/CT&OS/exp3/test.c
 * @ Description  : 
 */ 
#include<stdio.h>

int main(){
    int a = 0x7fffffff;
    printf("%d\t%d\t%d\n", 0xffffffff, a, 0xfffffff);
    getchar();
    return 0;
}
